Gert Smolka

Professor of Computer Science
Saarland University

smolka at cs.uni-saarland.de

Saarland University
Saarland Informatics Campus E1 3
66123 Saarbrücken
Germany

Office: Room 514 in E1 3, +49 (681) 302-5311

Research: Computational Logic, Interactive Theorem Proving, Type Theory, Programming Languages

Teaching Publications Doctoral Students

Textbooks, lecture notes

Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant

Introduction to Functional Programming and the Structure of Programming Languages using OCaml

Programmierung - eine Einführung in die Informatik mit Standard ML

Apply to Saarbrücken Graduate School of Computer Science

Programming Systems Saarland Informatics Campus Saarland University

Legal notice, Privacy policy